perm filename CHRON[1,JMC]59 blob
sn#789495 filedate 1985-03-08 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00025 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00003 00002
C00005 00003 FALL QUARTER 1979
C00008 00004 WINTER QUARTER 1980
C00013 00005 SPRING QUARTER 1980
C00018 00006 SUMMER QUARTER l980
C00022 00007 FALL QUARTER 1980
C00025 00008 WINTER QUARTER 1981
C00028 00009 SPRING QUARTER 1981
C00030 00010 SUMMER QUARTER 1981
C00032 00011 FALL QUARTER 1981
C00035 00012 WINTER QUARTER 1982
C00039 00013 SPRING QUARTER 1982
C00042 00014 SUMMER QUARTER 1982
C00045 00015 FALL QURTER 1982
C00047 00016 WINTER QUARTER 1983
C00057 00017 SPRING QUARTER 1983
C00066 00018 SUMMER QUARTER 1983
C00071 00019 FALL QUARTER 1983
C00077 00020
C00078 00021 WINTER QUARTER 1984
C00082 00022 SPRING QUARTER 1984
C00085 00023 SUMMER QUARTER 1984
C00093 00024 FALL QUARTER 1984
C00109 00025 WINTER QUARTER 1985
C00117 ENDMK
C⊗;
AAAI American Assn for Artificial Intelligence
ACM Association for Computing Machinery
AMPS
ATP
BBS The Behavioral and Brain Sciences
CASBS Center,Advanced Studies Behavioral Sciences
CCS Committee of Concerned Scientists
IFIP IInternation Federation for Information Processing
ICCP International Conference on Collective Phenomena
III Information Internation Incorporated
SE2 Scientists and Engineers for Secure Energy
FALL QUARTER 1979
1101F79 AI Ctr. Technical Note Abstracts, SRI International
1101W79 Scott Kim, grad student
ll09W79 Academy Council on Foreign Policy. Salt II, NATO
ll16W79 Prof. Herbert Teager, Pattern Recogntion problems in AI
1201W79 Jackson, Philip. MS thesis, UCSC
1201W79 John Carr, letter from Xian, China re Chinese laboratory
1205F79 Dialnet Project + Paul Stoft, Hewlett Packard
1205F79 Lifschitz, re Dr. Grigorii Mints
1206F79 Larsen, Cecilia, Request for IBM version of LISP Program
1206F79 MIT Press, LISP 1.5 PROGRAMMER'S MANUAL.
12l7F79 ICCP, 4th. Organizing committee, letter to Joel Lebowitz
1218F79 Sperry Univac - re copyright materials
1218F79 Zh. Atanasov, Poland, Polish Academy of Sciences
12l8F79 IBM, Watson Research Lab. air ticket
1218F79 Michael Intriligator, UCLA, Abstract for Marschak Seminar
1219F79 J. Raviv, "Computer, Man and Society"
1220F79 R.C.T.Lee, National Tsing Hua U., re Dr. Sheu enrolling at Stanford
1220F79 Firdman, considerable correspondence
WINTER QUARTER 1980
0101W80 Schanberg article
0101W80 Technology and Society, Computer Technology opportunities
0100W80 Preserving Computer-related Source Materials
0110W80 Firdman
01l8W80 Dr. Alick Elithorn,Royal Free Hospital, London, NATO Symposium
0118W80 Indiana Univ. CS Dept., re expense voucher
0122W80 Computer use, Stan. U.Advisory Com. on Computer Use
0123W80 "Formalizing Ockham' Razor", J. Marschak Colloquium, UCLA
0124W80 Schanberg's article, JMC letter to NY TIMES
0130S80 ACM l979 Conference Tapes. Information Cassettes, Inc.
0206W80 B. Randell, invitation to AI Seminar Newcastle upon Tyne
0201W80 Prof. P. Beckmann, U. of Colorado, re liquid hydrogen
0212W80 Liu Zhong-fu, Harbin Inst. of Technology, Declining visit there
0211W80 Financing research in electronics, letter to "Forum"
0413W81 Webber and Nilsson, Permission to publish McCarthy. U. of Pennsylvania.
0214W80 Control of superluminal channel, Henry Stapp, Lawrence Lab
0225W80 CCS, visa application, title, vita for Soviet meeting.
0300W80 American Academy of Arts and Sciences, March l980
0306W80 Cartwright "error", letter and paper from Takeshi Hayashi, Kyushu U.
0310W80 Schanberg's article, letter from L. R. Abramson
0310W80 Doug Murray, U.S.-China Program, re Harbin Institute invitation
0312W80 Harold Deakins, Illinois Power, Decatur. Tape for 60 Minutes
0319W80 Metzger, H. P., THE COERCIVE UTOPIANS:THEIR HIDDEN AGENDA
0319W80 Metzger, H. P., BOVERNMENT FUNDED ACTIVISM:HIDING BBEHIND THE PUBLIC INTEREST
0320W80 Pereira, Luis Moniz Prof. Logic Programming
SPRING QUARTER 1980
0401S80 Syllabuus for Qualifying Exam in AI, Spring l980
0400S80 SE2, Status Update, February l980
0400S80 Solution to Branching Factor.., Judea Pearl,UCLA
0400S80 Learning Control of Production Systems, Abstract, Stolfo, Columbia U.
0402S80 NASA Software Research/Technology Workshop Abstracts
0417S80 James Craig, EE grad student studying in AI with JMC
0428S80 Machine Intelligence Workshop, l0th. Michie LE1
0501S8 SE2, Reprint from NUCLEONICS WEEK on reprocessing.
0509S80 ASPEN, Agenda - "Coping with U.S. Petroleum Supply Interruptions"0512S80
0512S80 Blattner, M., re NSF support of new project
0515S80 Aspen Institute, Wye meeting, May l980, Chauncey Starr
0519S80 ASPEN, Conclusions of workshop on Coping with U.S. Petroleum Supply.....
0500S80 SE2, Status Report May l980
0525S80 CCS, Firdman
0528S80 Boden letter. "The Case for Cognitive Biology"
0528S80 Research interests, Stanford faculty
0514S80 BBS. Article title to be BELIEFS, MACHINES, AND THEORIES.
0601S80 Black Tuesday, June l980
0605S80 Kahn, Robert. Request from T. Binford, access to ARPA VAX systems
0609S80 James Solinsky, LaJolla Institute Workshop invitation refused.
0623S80 Natural Language. Prof. Haugeland. MRHUG
0623S80 SE2 meeting Stanford. McCarthy speech reported.
0624S80 Song, Thais parody
0626S80 Legal Reason, Artifice of,John Kelly
0626S80 Friends of the Earth. Soft Energy path. Lovins.
0630S80 Walter Kiechel. Computer library
0630S80 Doszkocs and Rapp, Computer library
SUMMER QUARTER l980
0701E80 Haugeland, John. Weak Supervenience
0701E80 SUN Display Cluster, A Data-Disk Replacement
0701E80 Institute for Policy Studies, Anti-Technology
0702E80 Pearcey T., Caulfield Institute of Tech., Australia
0715E80 GIST Draft Manual
0716E80 Fr. Neil Hurley, SJ., Article by Teilhard de Chardin, Noosphere
0720E81 Murphy, George, Technology Licensing. Theft Protection, Passwords.
0722E80 Balzer, & Goldman.USC/ISI, Principles of Good Software Specifica.....
0722E80 AI Conference, Aug. l980. Title of speech. PROGRA.xgp[1,jra]
0730E80 Schnitzer, Kenneth, SE2, nuclear waste
073lE80 Dana Scott, LISP
0805E80 AAAI Editorial Board meeting, Aug. 20, l980
0829E80 Professor Kazuaki Iwata, Kobe University
0827E80 Hideyuki Takahashi
0901E80 Report on placement of engineering graduates
0901E80 The Plactic Ring, Lascoux and Schutzenberger
0908E80 International Workshop on Program Construction
0909E80 Scherlis, Wm. Paper submitted to POPL.
0917E80 Annual Faculty Report for Academic Year l979-80
0918E80 Michael Benefiel, Foreign Commercial Service, Tokyo. Wanted AI Info
0929E80 Henry, Margaret. Council for International Exchange of Scholars
0930E80 Gannis, Steve. Nuclear energy ad
FALL QUARTER 1980
1001F80 Tomita, Masaru. Potential Stanford student
1003F80 William Massy. Sent CBCL[F75,jmc]
1009F80 Fenaughty, A. L., III, letter re Alan Miller
1015F80 Crawford, F. W., Sigma Xi, thank you letter
1017F80 Swaminathan, K. Advice to Indian student.
1020F80 Zager, David. Advice re professional interests
1020F80 Pournelle, Jerry. America is an Undeveloped Country
1027F80 Haimila, Mervi. Telgram from Finland re Asset
1027F80 Gamble, Evan. Potential Stanford student
1030F80 Sigma Xi talk tape, Donald Snow, BYU
1024F80 P. Cheeseman, Australia
1101F80 Tie-cheng Wang.Academia Sinica. Referred to Nilsson. Chinese student.
1107F80 Five Year Outlook Report, National Academy of Sciences. Metzger.
1111F80 Elihu Gerson, Huxley quotation
1112F80 Nils Nilsson, Chinese student. Tie Cheng Wang
1113F80 MIT Press. Taylor, R. H.
1117F81 Stanford Symposium on Office Automation. Robert Landau.
1203F80 Brent Arnold, Henry Firdman (see Firdman envelope, shelfw)
1203F80 Data work send abroad. Database work
1206F80 Dennis Hamilton. Matl referred to D. Knuth.
1223F80 Subhas Chandra, University of South Pacific, Fiji
1229F80 Guenther Goerz. Germany. Erlangen
WINTER QUARTER 1981
0101W81 Reseda
0101W81 Steve Heims sents book review by Freeman Dyson. Von Neumann and Wiener
0102W81 Dennis Hamilton, letters and papers
0116W81 Fidelity Electronics. Chess Challenger part
0116W81 American Association for Advancement of Science, elected member,McCarthy
0116W81 SONY, Typecorder. new product
0202W81 Conquest of Outer Space, G.I. Petrov, Francis Kane. Soviet exploration.
0205∨81 Kasahara, Nippon Electric Co. NEC
0206W81 Michael Kelly
0313W81 DARPA, SEL, Robert Dutton, export of information, Richard Reynolds
0317W81 Habermann, Carnegie-Mellon. Distinguished Lecture Series
0327W81 LISP, Franz et peopinp Timing Project, s-1 NIL Project, Elisp
0331W81 Robert Trappl, Austria. Cybernetics.
SPRING QUARTER 1981
0401S81 Clara Torda
0415S81 MIT Retirement Plan for Staff Members, Variable Fund Annuity
0416S81 Mandeville
0417S81 NSF, DARPA, Workshop on Logic Programming for Intelligent Systems
Logicon
0421S81 Verkshop II, Sigsoft July l980. Neuman at SRI
0501S81 Ovshinsky, glass semiconductor
0501S81 Verification Workshop Attendance List
0511S81 Pereira, Luis, Lisbon visit
057S81 Perlis, Donald, re position in department. University of Rochester
0609S81 Robinson, Alan, letter re LOGLISP code and documentation
0615S81 Thomas, R., Laboratoire de Langues, Marseille
SUMMER QUARTER 1981
0601E81 Buchberger, Dr. B., Johannes Kepler Universitat Linz
0706E81 Danicic, I. University College Wales, re Lisp 1.5
0709E81 Greenberger, Martin, re Xerox machine
0724E81 Enikeev, A., Russian asking for to study with John at Stanford
0725E81 Sharma, Dr. B. K., India, re Indian student, Diego Fernandes
0728E81 Edozien, J., St. John's student re position in AI - paper included
0801E81 List of participants in Workshop of Logic Programming for Intelligent
Systems, Long Beach
0805E81 E.J. Neuhold, IFIP. Resigning from WG 2.2.
0821E81 David Curran, IJCAI paper
Teknowledge, Malicia
0826E81 Dimick, Brad
0901E81 John Nordin, Conference, Center for Theology and Natural Sciences, AI
Conference, Berkeley, January 1982
0908S81 Kuroda, IBM Japan, invitation to symposium, (Yamada)
0914E81 Shapiro, Stuart C., State University of New York at Buffalo
0921E81 Conference on Disorder and Order
0923E81 Spirulina, algae, food
0923E81 Clark, Keith. Paper on numerical integration, Negation as Failure
FALL QUARTER 1981
1023F81 Bayard Rustin, Advisory Council of Youth for Energy Independence
1023W81 American Academy of Arts and Sciences House, Boston
1027F81 Hammet, Paula, Australia
1029F81 Low-power Television. MIT research.
1105F81 R. Gunzenhauser, S and P Problem
1105F81 Yung-jen Hsu, Chinese student interested in graduate program
1111F81 Bentley, letter re research job
1116F81 Jacques Cohen, re Colmerauer
1117F81 Bossu and Siegel, Marseilles researchers
1117F81 Krause proposal, NSF
1119F81 Belovari, Gabor, Hungary, Kent State. Referred to Ursula Maydell.
1128F81 Kahn, Gary, application for research position
1203F81 Hayes-Roth, Barbara re position in Dept. Has vita
1204F81 Beeson proposal comments, NSF
1205F81 Guzman, Adolfo with address for Harold V. McIntosh
1209F81 Ambroziak, Jacek, Poland, student asking for summer research
1210F81 Chandrasekaran, B., India,letter to Edward Teller referring to JMC
Second letter
1214F81 Graevenitz, Alexander, article on anti-nuclear movement in U.S.
1216F81 Waltz, David. Requesting review of article for Communications of the ACM
1217F81 Murray, Bruce. Profile of Marvin Minsky in New Yorker magazine
1221F81 Order form from University of Rochester, October 1981
1220F81 Slobodan Jaukovic, invitation to AI meeting in Dubrovnik, Yugoslavia.
WINTER QUARTER 1982
0101W82 Marconi Fellowship, Lowell Wood, Aspen
0101W82 Harold Gilliam, article
0103W82 Wada,Eiiti Letter of recommendation for Norihisa Suzuki
0104W82 Greenspan, Steven, State University of New York at Buffalo
0104W82 Narayanan, A., University of Exeter. Ascribing Mental Predicates to
Computers
0119W82 Marshall Yovits, write chapter for Advances in Computers
0119W82 Luis Cesariny Calafate, Biologist, Portugal
0120W82 Joppinen from Finland, Exchange visitor
0123W82 Natasa Bozovic, application, Yugoslavia
0130W82 Meng Lee, application, Taiwan
0131W82 Stanford University News Service, News release on Russian visitors.
restrictions, university research, Roth, Lieberman, Umnov.
0131W82 Umnov application, visitin: professor
0201W82 Golub, Sandra Forsythe Memorial Fund
0201W82 Chang Fuu Chen, application for job
0209W82 Bernard Meltzer letter
2nd letter on Feb. l3
3rd letter on March 13
4th letter on June 29
0210W82 Jean Lucien Gloor, Nuclear Research, application
0215W82 Martin Ringle, article for Cognition and Brain Theory
0219W82 Erik Gilbert thesis progress report
0226W82 Edward Teller, Marconi Fellowship, Lowell Wood
0226W82 Carl Jansson, University of Stockholm, job as lecturer, information
processing
0301W82 David Eller, 764 Live Oak, Menlo Park. Pressey. Paper on nurture of genius.
0301W82 American Academy of Arts and sciences. Herbert Simon. Creativity
0301W82 IFIP, Meeting of WG 2.2. E.J. Neuhold. University of Stuttgart.
0305W82 Rothlein for recommendation for Rohit Parikh, City University of New York
0305W82 Lisp Conference. Martin Griss.
0310S82 Letter from H. Stanton (Bradford Books) re Haugland book.
0311W82 Lindsay Barker. Darling Downs. Re visit.
0317W82 Mark Mills and San Diego Gas and Electric,and letter to Los Angeles Times
0318S82 Steven Mock, Dept. of the Army, re Binford research proposal.
0319W82 Lars Kahn of Uppsala University. Opinion of paper on fuzzy.
0322W82 Cognitive Systems Laboratory. MEASA Gaschnig
0322W82 Culbertson, James, San Luis Obispo, on "Publicly Testable Consciousness"
0329∨82 Gabriel, Richard. Letter of recommendation.
0331W8s Maria DA Re, Milan. Requesting admission to Department.
SPRING QUARTER 1982
0401S82 Swedish Artificial Intelligence Society. Meeting April 1982.
find comtexomas Siolek, Comtex Scientific Corp. Research-database and microfiche
0407S82 from Albert Ferrando on self reference. San Rafael.
0412S82 Henry Kyburg, Univ. of Rochester, re Conference on Cognitive Curricula.
0420S82 Maria Simi, Univ. of Pisa. Re three wise men puzzle.
0504S82 Floyd Bloom, National Academy of Sciences. Five year report on
science and technology
0505S82 Six Year Faculty Plan. Letter Golub to Wessells.
0510S82 Univ. of London Engineering Exam.
0506S82 Lars Kahn. Swedish Board for Technical Devel. Consultant Agreement.
0525S82 Center for Theology and National Sciences, Berkeley, Bob Russell
0527S82 ATP Prize, Automatic Theorem Proving, Martin Davis and Jack Minker
0528S82 Inquiry about G. Agin from W. H. Freeman and Co.
0601S82 Delphi studies. letter from Prof. Rainer Kuhlen. U. of Konstanz.
0601S82 Richard Louv, San Diego, Book on change in U.S.
0604S82 visiting students, Delft Univ. Prof. Verbraeck and W.L. van der Poel
0605S82 Minutes of W.G. 2.2 Meeting in Garmisch, June 5-8,1982.
0607S82 John Miller, Trinity College. Siam meeting.
0624S82 Peter Szeredi, Prolog and Lisp, Imperial College, Dec-10 interpreter
SZEREDI INTERPRETER
0624S82 Peter Szeredi, re: introspection, prolog.
0630S82 National Geographic
SUMMER QUARTER 1982
0701E82 Association for Automated Reasoning, AAR
0701E82 Gerald Lieberman, Federal export regulations
0712E82 Kenneth Clark, letter declining visitor appointment
0720E82 Wm. Lott, Arizona. Counsel about study and college entrance.
0721E82 John Dunn, Florida. Inquiry about freelance work for ROTARIAN
0726E82 Herbert Simon, paper for ARTIFICIAL INTELLIGENCE
0801S82 CADE mailing list
0801E82 France, Minister of Education, job announcement
0802E82 Bobrow, Reviews of ARTIFICIAL INTELLIGENCE Journal.
0804E82 Comtex, Phoebe Huang's inquiry about reports issued by MIT.
0811E82 Gilman, Benjamin, mail interruption to Soviet Union
0826E82 Kolata, Gina, SCIENCE article, How Can Computers Get Common Sense? AI
0909E82 van Heeckeren van der Schoot. Inquiry on robotics. To Binford.
0915E82 Interview on inventions. Susan Gunther
0927E82 Edwin Pednault, representational homomorphism
0928E82 Roger Vogelsang, computers and common sense
0927E82 Ralph Lewis, computers and common sense
0927E82 Kursunoglu, Behram. Interdisciplinary Study on AI.
"Workshop on Biological Dimensions of AI"
0930E82 IFIP meeting. Venice, Mar. 1-5, 1983.
0930E82 Computers and Common Sense article in SCIENCE, Sept. 1982
FALL QURTER 1982
1002F82 M. L. Ginsberg, Brasenose College, Oxford. Job inquiry.
1003F82 Paul Rickey, publishing problems
1005F82 Kursunoglu. Interdisciplinary Study on AI.
1006F82 Lori Barnett, Digital Equipment Corp. Signatures for conf. collage.
1007F82 S.J.Kline,"Why the Sky is not Falling: Entropy, World Views,etc."
1008F82 Dale Johnson, Inquiry about LISP history. Stoyan referred.
1006F82 Comtex, subscription and info, Stanford AI memos
1011F82 Harold Fethe, Alza. "Models limits suggest reflexivity in nature"
1020F82 Mallory Selfridge, U.of CT. Question on Child program.
1018F82 John at St. Judes, Dublin, Ireland.
1108F82 Robert Kowalski. Thank you note for letter of recommendation
1111F82 Scott Palmer, ICP. ICP Interview.
1112F82 Roger Ressmeyer. Photographs. Prints attached.
1126F82 S. Dedijer, Univ. of Lund. Review Req.
1130F82 Faultfinder program (no author listed).
1201F82 H. Stoyan. Review req.
1207F82 K. Clark. Reimb. request.
1209F82 Henry Stanton, Bradford BooksMIT. JMC Collected works.
1220F82 Michael Morgan, Addison-Wesley. Stoyan book on LISP.
1222F82 Anthony Ralston. Request for article for Abacus.
1229F82 SPCA MX (POLITICAL FAKE)
WINTER QUARTER 1983
0106W83 Zhuang Xinhua. Resume
0107W83 Sun-ki Chai. LET BY NEED
0107W83 Campbell, John. Req. for contr. to Prolog.
0110W83 Mandel, Steve. UCSC AI course July 25-29.
0114W83 Chin-Chyuan Chen, Natl. Cheng-Kung Univ. RE: CIRCUMSCRIPTION
RE: NON-MONOTONIC
0117W83 Goguen. Background for C1 Seminar.
0117W83 Cruise, A.M. Hipparcos; Space-Age Astrometry. (Nature, vol.298.)
0119W83 Greenstadt, John. Industrial Lectureship. Copy of Golub's letter.
0119W83 Greenstadt, John. Industry Professorship. Course description.
0124W83 Greenstadt, John. Copy of Course description. Industrial lectureship.
0125W83 Report of the Advisory Committee on Coomputer Science and Computing.
0131W83 Kinnucan, Paul. Artificial Intelligence: Making Computers Smarter
AI AND MILITARY
0131W83 Baciocco, Albert J. Artificial Intelligence and C↑3I. AI AND MILITARY.
0131W83 The Good Soldier. Jack London? CRACKPOT;CRANK
0131W83 Hilts, Phil. Interview Transcript.
0131W83 Sidney Hook. Copy of letter by Leo Cherne re "Yellow Rain"
0201W83 Lifting the Curtain on Afghanistan's Horror. from WSJ 1/24/83.
0201W83 "Technological change isn't as fast as you might think". Campus Observer.
0203W83 WARPLAN Problem Solver
0216W83 D. Koller, Hebrew Univ. of Jerusalem. Request for recommendation for
S. Rosenschein.
0301W83 Drazovich, McCune & Payne. Artificial Intelligence: An Emerging
Military Technology. AI&DS. MILITARY,DEFENSE,AI
0301W83 Computer Professionals for Social Responsibility
0303W83 San Jose Mercury News article 3/3. "Artificial Heart Work called
unlikely at Stanford." HEART
0303W83 Douglas Gasner, Psychology Today. Memo. of Agreement/Mental Qualities
0304W83 Stuart J.D. Schwartzstein. Statement on Yellow Rain (Chemical &
Toxic Weapons use).
0305W83 Minutes of IFFP Working Group 2.2, Venice Italy, March 1 - 5, 1983.
0306W83 Article on Mosher dismissal (no date on article)
0308W83 Cornish, Ames. Multi-leveled Reasoning for Artificial Intelligence. CS226.
0309W83 Gerald Jonas. New Yorker. Strugatsky review.
0316W83 Campus Report article "Taksar telss how Soviets control profs visiting US"
0323W83 C.H. Max Freedman. Copy of his column quoting your letter to
NY Times Magazine.
SPRING QUARTER 1983
0407S83 Mark Todorovich resume (copy to Lowell Wood 4/14)
0414S83 "Artificial Hearts: unrealistic promises" Article in Campus report.
(re: BERNSTEIN)
0419S83 R.C.T. Lee. Invitation to be distinguised lecturer.
0421S83 Artificial Intelligence applied to C↑3I. Brown, David and H. Goodman.
0425S83 Gurba, Krysztof. Jagiellonian University, Krakow. Naturalness in AI.
0429S83 Don E. Gordon. Re: talk at Battelle conference. His article Army Mag.
0504S83 Bruce Buchanan. Introduction to the Memo Series of the Stanford
Artificial Intelligence Lboratory.
0506S83 R.C.T.Lee. Distinguished lecturer. Expenses allowed.
0509S83 J.E. Pournelle. Copy of letter to Bugliarello re Marconi Fellowship.
0514S83 History of Computer:Timesharing Origins. MIT Research Progam on
on Communications Policy.
0515S83 Judea Pearl. Chpt. 8.5, latest version
0516S83 Ithiel de Sola Pool. Thank you for participating in time-sharing session.
0518S83 Letter: Petition to Investigate the Hoover Institution.Re: HOOVER.HOOK
0519S83 Bracewell, R.N. The Discrete Hartley Transform
0523S83 "Fair Rules for High Tech Race", Japan Times. re: JAPAN
0525S83 Draft proposal for a conference and white paper on "Artificial Intelligence
and the Future of America" by Patrick Gunkel.
0531S83 Minutes of WG2.2 (Venice)
0531S83 Tom Gannon. Preliminary Alpha+Omega Program Plan. Digital.
0531S83 Info on 1982 AI Qual
0531S83 J.E. Pournelle. Marconi Intl. Fellowship nomination.
0531S83 8th IBM Symposium on Mathematical Foundations of Computer Science.
Program and various abstracts. re: JAPAN
0602S83 Photos taken in Kyoto
0602S83 LISP vs. PROLOG
0602S83 University of Tokyo Computer Center
0602S83 Alphonse Juilland. Hoover petition.
0602S83 Prophecy for the 20th Centure. Asahi Evening News.
0602S83 A Master Key for the RSA Public-key Cryptosystem. Kenji Koyama.
0607S83 Goto, Shigeki. Some Anomalies in Negation as Failure. (PROLOG)
0607S83 Heinz Pagels, NYAS. Article for Annals.
Also attached: transcript of NYAS talk April 83 and cover letter of
9/2 sent with completed paper (Some Expert Systems Need Common Sense).
0607S83 Shigeki Goto. Some Anomalies in Negation as Failure
0610S83 Wu Yunzeng. Visit to US in next year.
0614S83 NCB Distinguished Speaker Programme. SOUVENIR
0615S83 Conversation with Taiwan's Premier Sun. Asian Wall Street Journal
0616S83 See, Hiow Tong. Mr. S and Mr. P problem.
0620S83 Paulson, Dennis. Questions about nuclear war.
0620S83 J. Andrew Freeman. What I want to do this Summer.
0621S83 Stanford Daily. Faculty debate on weapons research... RE: DEFENSE
0626S83 G. Gorz. Manuscript of LISP text in German.
0627S83 J.D. Ullman. Stanford Supercomputer Research Project.
0627S83 Outline of Research and Development Plans for Fifth Generation
Computer Systems. ICOT. April 1983.
0627S83 Monochrome Data Display Units. Tatung. re: TAIWAN.
0627S83 Singapore in Brief. 1982.
0627S83 Roster, Computer Science Chairmen Seminar. RE: NAMES. RE: IBM
0629S83 Don Caughey. Hoover question disregards social justice. HOOVER
0630S83 June 1983 REDUCE Newsletter
SUMMER QUARTER 1983
0701E83 Bibel, W. Bibliography.
0705E83 Woody Bledsoe. Instructions for AMS Contemporary Mathematics Series.
0706E83 Wei-hsing Wang. Taiwan photos.
0711E83 DARPA to Delevop Techniques for Computer `Intelligence'.Aviation Week
and Space Technology.
0712E83 D. Caughey. Academic Freedom... Stanford Daily. RE: HOOVER, FOOLS
0716@83 Bynum, Terrell W. Chess paper.
0728E83 J. Servan-Schreiber, Centre Mondial. Electronic Library Project.
0806E83 Cheng-San Wu. Natl. Cheng-Kung Univ. Taiwan.
0811E83 letter from Herbert Halbrecht.AAAI paper prize.
0812E83 CAMP-LINZ Working group
0812E83 D.V. and G.V. Chudnovsky Laws of composition of Backlund transformations
and the universal form of completely integrable systems in dimensions
two and three.
0812E83 Einstein, Albert. Lens+Like Action of a Star by the Deviation of
Light in the Gravitational Field. SCIENCE, Vol. 84, No. 2188, Dec. 1936.
0812E83 Solar Bacterial Biomass Farm for Space Vehicles. H. Tributsch. SPACE
0812E83 Algal Bioregenerative Systems. R.L. Miller, C.H. Ward. SPACE
0812E83 Sidney Hook. The Response of a Humanist. From Free Inquiry magazine.
0812E83 Period -doubling route to chaos shows universality. PHYSICS TODAY 3/81.
0812E83 Blum, Robert L., Clinical Decision Making Aboard the Starship Enterprise.
0818E83 Scott Fahlman, CMU. Common Lisp Reference Manual. COMMON LISP
0825E83 University Centers for Rational Alternatives, Inc. Draft proposal
of the research Project and Educational Outreach on the Intellectual
Educational and Political Implications of the Campus Turmoil of the
0826E83 Brian Smith. Definition of the 3-LISP processor in MACLISP.
0826E83 Narinder Singh and Gordon Foyster. VLSI 3-LISP.
0914E83 Dr. A. Toni Cohen. "amb"
0916E83 John Leyerle, Canadian Inst. for Advanced Research. Reiter.
0918E83 Matt Ginsberg. Nov. visit plus rambling on logic.
0920E83 Lee A. Segel, Weizmann Inst. Recommendation for Ehud Shapiro.
0920E83 Wolfgang Bibel
0920E83 Alphonse Juilland. Presidential Library. HOOVER
0921E83 Thinking Machines (company) MINSKY
0927E83 Dr. Alice ter Meulen. January visit. C.V.
0930E83 John Leyerle. More on Reiter recommendation
FALL QUARTER 1983
1003F83 Alfred Meyer. Psychology Today article, "Little thoughts of Thinking
Machines"
1006F83 Recommendation for Charles Restivo, resume attached
1010F83 Ian Mason. Undecidability of the Metatheory of the Classical
Propositional Calculus. Stanford Philosophy Dept. 10/10/83.
1011F83 Vladimir Lifschitz. CV
1011F83 Glenn Campbell. Hoover. Reagan Library comments
1011F83 Yorick Wilks. July 1984 meeting of Amer. Assn. for Computational
Linguistics.
1013F83 Senate Agenda. 10/13/83
1014F83 NY Academy of Science. Copyright Transfer Agreement for
"Some Expert Systems Need Common Sense"
1015F83 Minutes.Possible Annual Reveiw of Artificial Intelligence and Letter
from William Kaufmann,editor of Annual Reveiws.
1026F83 Glenn Campbell. Analysis of Center for Public Affair/Reagan Library.
1027F83 Senate Agenda 10/27/83.
1027F83 Lee Segel, Weizmann Inst. Request for recommendation, Ehud Shapiro.
1031F83 Announcement/Call for Papers. 3nd International Conference on AI and
Information-Control Systems of Robots.
1101F83 Lynn Scarlet. REASON. Fifth Generation review.
1104F83 Bruce Buchanan. Comtex
1109F83 Clark Mollenhoff. The Atanasoff Story--A Beacon for Truth, Standards,
and Dedicated Scholarship.
1111F83 "Dietary Carcinogens and Anticarcinogens", Bruce N. Ames. Science, Vol. 221.
1116F83 Bruce Buchanan. Proposal for an Academic Data Service.
1121F83 Lynn Scarlett, Reason. Publication Contract for review of The Fifth
Generation.
1123F83 H. J. Zoffer. Univ. of Pittsburgh. Pople reference request.
1125F83 Dennis Paulson. Edited version of answers to his questions on nuclear war.
1128F83 Gordon Novak, Univ. of Texas, Austin. Doyle reference request.
1201F83 Randall Davis. Letter accompanying AIM 665, filed in librar.
1201F83 Strategic Computing: New Generation Computing Technology: A Strategic
Plan for its Development and Application to Critical Problems in Defense
RE: DARPA
1201F83 Unlearning has a stabilizing effect in collective memories, Hopfield,
Feinstein, Palmer.
The Function of Dream Sleep, Crick & Mitchison
Neural Networks and Physical Systems with Emergent Collective
Computational Abilities., Hopfield
1201F83 Ph. Roussel. Completeness of First Order Query Languages for
Relational Data Bases: a Semantical and Syntactical Characterization.
1201F83 Dietary Carcinogens and Anticarcinogens, Bruce Ames, Science vol. 221.
1201F83 Stoyan. Generische Funktionen und Daten-gesteurte Programmierung.
1201F83 J.A. Robinson. Logic Programming Research Center. Journal of Logic
Programming.
1205F83 Copy of letter from J. Minker to W. Bibel. re: MINC
1206F83 Bledsoe, ATP Prize Committee
1208F83 W. Richard Stark, Univ. of South Florida. Request for reference.
1212F83 Copy of Minsky proposal for SNATCH from Gwen Bell.
1219F83 M.N. Manougian. Re: Recommend. for W.R. Stark.
1231F83 M. Griffiths LISH/DEC 83/384. Un Projet Pilote de Bibliotheque
Electronique. CENTRE MONDIAL
1231F83 Asst. CVs. Martin Kay,Barbara Grosz, Robert C. Moore, Raymond Perrault,
Stanley Rosenschein,Brian C. Smith.
WINTER QUARTER 1984
0105W84 Kowalski. History of Logic Programming
0106W84 A. Borodin. Request for recommendation for R. Reiter.
0112W84 Senate agenda 1/12/84.
0112W84 Yorick Wilks. Workshop at Lake Como
0116W84 D. Chudnovsky. AFL-CIO advisory group.
0117W84 H.J.Zoffer. Pople recommendation request.
0123W84 P. Bierre. Clairvoyant Systems. Sensory Learning.
0124W84 W. Bledsoe. Re: Recommendation for J. R. Slagle.
0125W84 Copy of lttr. to D. Chudnovsky fr. Dennis Chamot, AFL-CIO.
0126W84 Roxanne St. Claire. Copy of Inference Corp news release.
0131W84 V. Lifschitz. On Non-Monotonic Reasoning
0201W84 Copy of Futures article.The 1984 Global System, Intelligent systems,
development stability and international security.S.Dedijer.
0202W84 Yorick Wilks. EUP Series.
0203W84 Harold C. Sox, Jr., MD. Request for recommendation on Shorliffe.
0208W84 Comtex Agreement, signed by Graeme Keeping
0209W84 O. H. Ibarra, Univ. of Minnesota. Req. for recommendation, J. Slagle.
0213W84 Kay Mills. Copy of her interview piece in LA Times
0214W84 SU News Svc. release on Reagan Library. RE: HOOVER.
0214W84 Stuart Umpleby. ASC. Invitation to Gordon Research Conf. on Cybernetics
0217W84 Vivian Bone, Edinburgh Univ. Press, req. for manuscript, social issues.
0224W84 Barry Soroka. Penquin cartoon.
0224W84 Princeton Univ. Press. Copyright, Automata Studies.
0224W84 Dennis L. Bark, Hoover Inst. U.S. Security and World Peace.
0302W84 Barbara Glynn. High Technology Science Center.
0308W84 Mark Wells. New Mexico State Univ. Req. for rec. for Lifschitz.
0312W84 Stanford Operating Budget guidelines, 1984-85.
0312W84 W. Marek, Univ. of Kentucky. semantics of non-monotonic logic.
0318W84 Veronica Dahl. Univ. of Kentucky. Abstract, Seminar on Logic Grammars.
0319W84 Phoebe Huang. Scientific DataLink/Comtex, royalty.
0324W84 Udelson, Daniel. Recommendation for Michael Brady.
0327W84 NYAS. Sheila Treitler. Galley proofs, panel discussion
0330W84 S. Takasu. Kyoto Univ. Visit 6/25-7/6/84.
SPRING QUARTER 1984
0410S84 Arnold Rosenberg. Re recommendation for James Slagle.
0417S84 Olof Widlund. Re recommendation for James Slagle.
0428S84 Re paper on Cellular Automata from Stephen Wolfram
0502S84 from AI Center, SRI re workshop, asking for $5,000 subsidy
0507S84 New York Times News Service terminating CSD news service
0511S84 Letter from David Probst, Concordia University
0511S84 Letter, Robt. Yantorno re academic discounts for regis at AAAI meetings
0514S84 Letter, Rob Goldblatt re leave at Stanford from Univ. of Auckland
Barwise referral
0516S84 Letter re Weierstrass function
0516S84 letter from Pheobe Huang.Re:termination clause in SAIL contract.
0515S84 Peter Mountain, South Africa, inquiry for job or student aid
0515S84 Prize from Tohoku University
0521S84 letter from C.E.A. Cadarache,re:Marseilles meeting.
0524S84 ITS rates, 1984
0528S84 Journal of Symbolic Computation
0529S84 George Johnson re interview
0530S84 Amelang, homosexuality
0610S84 Jastrow, Garn letters
0612S84 letter from Kurbegovich, crank
0621S84 letter to ACM, re two checks, 1984 and 1985 dues
062lS84 Veronica Dahl asks for travel expense and workshop subsidy from AAAI
0622S84 Letter from James Griesmer.University of California,Davis.Committee
on History and Philosophy of Science.Seminar invitation.
0622S84 Letter from Takayasu Ito.Stanford Visit. Japan Prize.
0625S84 Letters from Chu Chuan-lu, and Ryszard Michalski.
0628S84 letter from John Moore,Science and Technology Opinion proposal.
SUMMER QUARTER 1984
0702E84 letter from Bjorn Berg. robots.
0704E84 letter from Berthold van der Hout.Christiaan Huygens.
0705E84 copy of check sent to Sundial Associates. Casio watch repair.
0709E84 letter from K. Mani Chandy. U. of Texas,Austin. Re:Boyer and Moore.
0711E84 letter from Su-Shing Chen.
0718E84 letter from Bruce Melusen.
0723E84 copies of letters from Gene Golub to Keith Hall, Yoram Moses & William
Burley. Re: outsanding requirements.
0723E84 letter from Lynn Scarlett. Reason book review editor.
0725E84 letter from Irving Wladawsky-Berger.IBM confidentiality agreement.
0726E84 letter from Herbert Halbrecht.AAAI paper prize.
0807E84 letter from K.Mani Chandy.
0807E84 Goad proposal,unfunded.
0808E84 letter from Shigeki Goto.
0810E84 letter from Ed Fredkin, re:Czechoslovakia meeting, Sakharov.
0811E83 letter from Herbert Halbrecht.AAAI paper prize.
0811E84 letter from Veikko Rabtala.
0813E84 letter from Janusz Kowalik,re:workshop.
0814E84 summary National Science Foundation engineering programs.NSF.BOnnie Hale.
0814E84 Manley/Rebhoz petition.Hoover.
0814E84 Theories of Research,table of contents.Maria Nowakowska.
0815E84 draft of Jerry Hobbs'paper, The Logica Notation: Ontological Promiscuity.
Desiderata for a Logical Notation.
0817E84 Michael Griffiths, "Bibliotheque electronique",re:Centre Mondial.
0817E84 Announcement, Special year in Mathematical Logic and Theoretical
Computer Science.Re:Maryland.
0817E84 Marseilles meeting.
0817E84 Personal Consultant, Expert System Development Tools.Texas Instruments.
0817E84 American Council on Science and Health,Fifth Annual Report.
0817E84 John M. Olin Foundation,1983 Annual Report.
0817E84 Curriculum Vitae for Janusz Kowalik.
0817E84 Greg Hager, "Materials and Methodology", re: common sense
0831E84 CHRONOLOG, August 1984.
0910E84 letter from K. Mani Chandy,the University of Texas at Austin,
re Elaine Rich promotion.
re Elaine Rich promotion.
0917E84 letter from Allen L. Brown, from GE Schenectady, NY re: copy of
circumscription paper
0918E84 East West Round Table of NY. Re: John Fox
0918E84 letter from Dr. Dinl H. Eriksson, North Holland, re: jmc's review
of Feigenbaum's book "The Fifth Generation". Also Editorial Bulletin
of FGCS.
0918E84 letter from Dr. Leonard Bolc, Warsaw University, re: invitation to
jmc to write a book about AI.
0919E84 letter from V.S. Subrahmanian, re: request to endorse nomination
of Kowalski an Colmerauer for Turing Award.
0920E84 letter from Jay Buckingham, re:advice how to get started in AI
0920E84 letter from F.J. Corbato, MIT, re: nomination for American Academy.
0920E84 letter from Philip Lemmons, BYTE Journal, re: writing an article
on omputers and society.
0920E84 letter from Harold E. Bamford, NSF, re: proposal evaluation.
0920E84 letter from W. Marek Unive. of Kentucky, re: enclosed "A Natural
Semanticss for Modal Logic over Database and Model-Theoretic
Forcing I.
0920E84 paper, Computers and artificial intelligence, re: Plander.
0920E84 catalog. re: Computing Education Course Catalog, 1984-85,Information
Technology Services.
0921E84 letter from Joel Friedman, Dept of Philosophy, re: invitation to
participate in Hist. and Philo. of Science Series, UC Davis, Tuesday,
Oct 30, 4:00.
0921E84 letter from Maria Nowakowska, re: encl. books and papers.
0921E84 letter from Dan Bobrow, Xerox, re: some questions about AI, deadline
10/31/84.
0921E84 copy of letter to Ms. June D. Parrell, NAVELEX, re: Contract No.
N00039-82-C0250, Modification P00005.
0921E84 letter from S. Takasu, Kyoto Univ., re: manuscript for the proceedings
of the 8th IBM symposium.
0921E84 letter from Griffiths, re: suggesting seminar.
0921E84 letter from Dennis Paulson, Santa Barbara, re: response to questions.
0921E84 re: Bob Moore
0921E84 letter from Jon Barwise, re: CSLI initiators.
0921E84 letter from John Fox, re: talk to Midge Decter about new magazine
0921E84 letter from Morris Pripstein Lawrence Lab, re: Yelena Bonner.
0924E84 letter from Jacques Gualino, Centre Mondial, re: scientific board list
of members.
0924E84 letter from Bamford, NSF, re: proposals
0924E84 letter from Robert H. Halstead, Labooratory for Computer Science, re:
enclosed paper about Multilisp.
0924E84 copy of 1 + 1 = 0: New Math for a New Age, from Science 9/84.
0924E84 brochure, DEST 212 Multi-PS.
0924E84 brochure, Mohonk Mountain House.
0924E84 letter from Suppes, re: enclosed propsal for Advanced Placement
Calculus.
0924E84 Award notice, from Patricia Byers, re: EKL proposal.
FALL QUARTER 1984
1002F84 letter from Donald D. Steiner, Math. Dept. Iowa State Univ.
re: expenses
1002F84 letter (cc) from Dennis Chamot, re: labor, Chudnovsky.
1002F84 letter from Andrzej Szelc, re: his research
1002F84 letter from D.J. Morrison, re: advice for doctoral thesis.
1002F84 letter from Waqar Hasan, re: inquire about Jmc's current research projects.
1002F84 re: Hobbs, Commonsense Summer, Common Sense Summer
1002F84 paper. Yonathan Malachi and Zohar Manna, TABLOG The Deductive-
Tableau Programming Language.
1003F84 paper. Elaine Rich, Default Reasoning as Likelihood Reasoning, Dept. of
Comp.Science, The University of Texas at Austin.
1003F84 paper. Daniel Lehmann, Knowledge, Common Knowledge and related
puzzles, Inst. of Math. and Comp. Sci., Heb. Univ., Jerusalem, Israel.
1003F84 paper. Rohit Parikh, Monotonic and Non-monotonic Logics of Knoweldge,
Dept. of Comp. Sci. Brooklyn College of CUNY.
1003F84 notes. Kreisel--Notes on non-monotonic reasoning.
1003F84 vitae. Charles W. Restivo.
1003F84 letter from Mitchell Brigell, Chicago Council of Scientists, re: AAAI
president
1003F84 letter from J.B. Mooney, Dept. of the Navy, re: invitation to participate
in review panel for Applied Research in AI.
1003F84 proposal. re:CBCL, Gardner.
1003F84 letter from Elmer G. Havens, NSF, re: grant no. DCR-8206565.
1003F84 report from III, re: Computer Integrated Publishing
1003F84 guide. SITN for fall 1984.
1003F84 letter from Mark E. Andersen, SMS, re: Cambridge LISP 68000.
1003F84 letter from Lynn Scarlett, REASON, re: review of Weapong and Hope.
1003F84 letter from K.L. Pothoven, Univ. of South Florida, re: tenure evaluation
for Dr. Stark.
1003F84 letter from Jon Barwise, re: summer school.
1004F84 letter from Francois Lapelerie, Rice University, re: meeting jmc.
1004F84 abstracts. Artificial Intelligence Journal, re: 1. Christoph Walther,
A Mechanical solution f Schubert's steamroller by many-sorted resolution.
2. Naive reasoning on physiics versus qualitative reasoning on systems.
3. Wong, A.K.C. Wong and David K.Y. Chiu, Probablistic inference system:
an event-covering approach. 4. M.L. Ginsberg, Analyzing incomplete
Information. 5. Stephen Fickas, A problem solving approach to software
Development.
1004F84 letter from Ben T. Williams, re: Dr. Perry Miller as AAAI rep. to
AAMSI.
1011F84 notes. re:Goodwin, international, debate. filed in NOTES (current bus.)
1015F84 Report. A Trip to China, Lipset.
1015F84 Letter from Clara N. Bush, re: noise on campus
1015F84 Letter from Jerry E. Pournelle, re: citizen advisory council
on national space policy.
1005F84 memo from Earl Cilley, re: Comtex AI agreement
1015F84 notes from Beeson panel with Winograd and Ornstein on Survival
and prosperity.
1015F84 paper. CPSR. Strategic computing -- An assessment.
1015F84 paper. Halpern, Joseph Y. and David A. McAllester
Likelihood, probability, and knowledge. IBM.
1015F84 paper. Halpern, Joseph Y. and Boris Trakhtenbrot, The
Semantics of local storage, or what makes the free list free. IBM.
1015F84 paper. Doyle, Jon. What is rational psychology -- Toward a modern
mental philosophy. CMU CS 83 106.
1015F84 paper. Doyle, Jon. Expert Systems without Computers. CMU CS 84 116.
1015F84 paper. Doyle, Jon. Admissible state semantics for representational
systems. CMU CS 83 124.
1015F84 paper. Doyle, Jon. The ins and outs of reason maintenance. CMU CS 83 126.
1015F84 paper. Doyle, Jon. A society of mind. CMU CS 83 127.
1015F84 paper. Doyle, Jon. Methdological simplicity in expert system construction.
CMU CS 83 114
1015F84 paper. Doyle, Jon. What should AI want from the supercomputer. CMU CS 83.
1015F84 paper. Doyle, Jon. The foundation of psychology. CMU CS 82 149.
1005F84 abstract. Charniak, Eugene. Motivation analysis, abductive
unification, and non-monotonic equality.
1015F84 paper. Lamport, Leslie. What if means for a concurrent program to
satisfy a specification: why no one has specified priority.
1015F84 paper. Nilsson, M. The world's shortest prolog interpreter.
1015F84 paper. Rich, Elaine. User modeling via streotypes.
1015F84 paper. Rich, Elaine A. A high-level interpretation algorithm
for points and ranges.
1015F84 paper. Rich, Elaine. Research at the university of texas.
1015F84 paper. Rich, Elaine. Users are individauls: indivisualizing user
models.
1015F84 paper. Rich, Elaine. Natural language interfaces.
1015F84 paper. Rich, Elaine. The gradual expansion of AI.
1015F84 paper. Cline, A.K. and Elaine Rich. Building and evaluating
abstract data types.
1015F84 SEKI-PROJEKT. SEKI memos (abstracts)
1015F84 paper. Rosenschein, Stan and Fernando Pereira. The flow of information
in physical systems: an alternative to the "representational" paradigm
for AI.
1015F84 paper. Kuck, Conrad. Non-monotonic learning automata. re: crank.
1024F84 letter from Stuart C. Shapiro, Ency. of AI, re: participation in
AI Encyc.
1024F84 letter from Bernard A. Galler, re: Seminar, Expo. 85, Japan. Proposal
attached.
1024F84 CHRONOLOG, Oct. 1984.
1024F84 document. Policy on Media Coverage for Senate Meetings.
1024F84 letter from R.L. Levien, re: LISP IBM PC.
1024F84 Newspaper, re: pre-schoolers reasoning.
1024F84 MICRODISC -- Stanford's microcomputer discount plan.
1101F84 paper. Jon Barwise, The Situation in Logic - Remarks on conditionals.
1101F84 paper. H. Barringer, J.H. Cheng, C.B. Jones - A Logic Covering
Undefinedness in Program Proofs.
1101F84 paper. C.B. Jones, Systematic Program Development
1101F84 paper. F.L. Morris and C.B. Jones, An Early Program Proof by Alan
Turing.
1101F84 letter from Mark Richmond, re: candidates for Chair in Intelligent
Knowledge-Based Systems (IKBS)
1101F84 newsletter. Access to Energy.
1101F84 letter from Clive S. Liston, re: AI letter agreement.
1101F84 brochure. Texas Instruments.
1101F84 brochure. The Center for the Study of Language and Information. CSLI
1101F84 letter from J.F. Traub, Columbia University, re: graduating students
as prospective faculty.
1101F84 letter from Peter Chen, Luisiana State University, re: AAAI Presidenet's
Message as a future paper.
1101F84 travel authorization, CMU, re: trip to France Sept. 17, 1984.
1101F84 letter from Midge Decter, Committee for the Free World, re: getting
together.
1115F84 Review of articles from BYTE
1115F84 Article. Steven J. Frank, Tightly couples multiprocessor
system speeds memory-access times.
1115F84 Memo. From John Linvill,
re: Third annual review of the CIS Nov. 14-15, 1984.
1115F84 Memo. From Louise Peterson, re: Viewgraphs for CIS annual reaview
Nov. 14-15, 1984.
1115F84 Paper. Herbert Stoyan, Programming Styles in AI., Institut for
Mathematical Machines and Dataprocessing, University of Erlangen
1115F84 letter. Lynn Scarlett, REASON, re: Weapons and Hope contract.
1115F84 Thesis proposal, Jeff Glaza, Hierarchical analogical knowledge
representation.
1115F84 paper. Jeff Glaza, Description and discussion of a hierarchical
analogical knowledge representation system (HAKR)
1115F84 paper. Jeff Glaza, Philosophy of the hierarchical analogical knowledge
representation system.
1115F84 Award notice. Contract MDA 903-83C-0188, Amend mod.# P0002, SPO#
711/13793-01-00, Sponsor DARPA.
1115F84 proposal, re: Martin.
1115F84 Academic coucil, agenda, Nov. 8, 1984.
1115F84 letter. Dr. Moonis Ali, re: request for Queue-based Multi-processing LISP
1115F84 paper. BDM Corp. re: CIA.
1115F84 letter, from Joel Friedman, Dept. of Phil., UC Davis. re: dinner table
discussion.
1115F84 letter from Robert Kowalski, Dept. of computing, Univ. of London, re:
short history of early days of logic programming.
1115F84 letter from D.C. Melendez, Lawrence Livermore Lab., re: consulting
arrangement.
1115F84 Minutes of the Academic Council, October 11, 1984.
1115F84 letter from Dennis R. Bahler, re: request for Circumscription paper.
1115F84 letter from Stan Rosenschein, SRI, re: invitation to referee papers.
1115F84 memo from Frank E. Armbruster, re: labor, re: chudnovsky
1219F84 letter from Prof. Leo Ojala, re: request for Model Theory of Knowledge
paper.
1219F84 paper. M.H. van Eden and M.A. Nait Abadallah, Top Down Semantics of
Fair Computation of Logic Programs
1219F84 paper. Robert Kowalski, The Early History Logic Programming
1219F84 S-1 Mark IIB Review, Jeff Broughton
1219F84 letter from Donald Proter, re: participation in Philosophy 326
1219F84 letter from Clara Bush, re: Senate attendance
1219F84 letter from L.A. Belady, re: MCC University Affiliates Program
1219F84 letter (copy) from Pat Byers, re: changes in agreement
121984 letter from Gaston Defferre, re: enclosed photos
1219F84 letter from John A.D. Kelly, re: non-monotonic papers
1219F84 letter from Manfred Kochen, re: Participation in AAAS symposium May 26-31
1219F84 letter from John and Janet Rybak, re: their paper.
1219F84 Senate agenda, Nov. 29, 1984
1219F84 letter from Gordon Bell, re: nondisclosure agreement
1219F84 Semiannual Report, ICASE, Oct. 1, 1983-March 31, 1984, re: partial
differential equations, re: PDE, re: numerical
1219F84 letter from Wu Yungeng, re: visit to Stanford
1219F84 letter from Michael Reinfrank, re: request for Application of
Circumscription
1219F84 paper, Nigel Seel, Computational Cybernetics: A Programme of Research
in AI
1219F84 Stanford Medicine, Fall 1984
1219F84 Publication Contract, REASON
1219F84 paper. John Rybak and Janet Rybak, Venn Diagrams Extended Map Logic
WINTER QUARTER 1985
0115W85 Bulletin of The American Academy of Arts and Sciences, re: Ramo
0115W85 letter from Kochen, re: Advances in Cognitive Science sesssion.
0115W85 letter from Prof. Xiwen Ma, Beijing Institute of Computer re: Cao Zhiqiang
0115W85 letter from Noriyoshi Kuroyanagi, re: thanks
0115W85 letter from Jay M. Tenenbaum, re: AAAI sponsor for National Conference
on Engineering Applications of AI
0115W85 EURALEX bulletin
0115W85 paper. Rohit Parikh, Monotonic and Non-monotonic Logics of Knowledge
0115W85 letter from Prof. B.McA. Sayers, re: Dr. Keith Clark promotion
0115W85 letter from Dr. Anthony E. Trojanowski, BDM Corp. re: check
0115W85 NTIS Abstract Newsletters information.
0115W85 letter from Jan Anderson re attached artiles
0115W85 letter from Haim Gaifman, re: recommendation for Aron Avron
0115W85 letter from S.M. Lipset, re: Reagan and Grenada
0115W85 letter from Gaston Defferre, re: AI colloquium
0115W85 letter from H. Gallaire, re: ECRC, Gallaire
0115W85 Newspaper, Le Provencal
0115W85 pamphlet. LUCID INC. Company Profile
0115W85 paper. B.A. Trakhtenbrot, A Survey of Russian Approaches to Perbor
(Brute-Force Search) Algorithms
0115W85 Call for participation in workshop on coupling symbolic and numerical
computing in expert systems
0115W85 letter from Kathryn Aparicio, California Times re: interview
0115W85 letter from Vladimir Milacic, re: international CAS seminar
0115W85 letter from Lawrence Livermore Lab re: Supplemental Information Sheet
0212W85 letter from Jack Harper, Robot Defense Systems, re: thank you
0212w85 letter from Marc Bergman, IRIAM, re John Kirman
0212W85 article, re: HCN, Elaine Rich
0212W85 letter from Clara Bush, re: noise on campus
0212W85 letter from G. Brewka, re: thesis on nonmonotonic logics
0212W85 letter from Ed Fredkin, re: visitors from USSR
0212W85 letter from Richard Gordon, Silicon Valley Research Group, re:
Conf. on Strategic Computing
0212W85 letter from Steve Tappel, re: reinstatement to Ph.D. program
0212W85 reprts, re: Hoover, Ward Report
0212W85 letter from Glenn Campbell, re: reception
0212W85 letter from Paul C. Martin, re advice on potential nominees
0212W85 memo from George B. Danzig, re: science fiction theme "In Our Image"
0212W85 letter from Ed. Fredkin, re: USSR visitors
0212W85 letter from Christine Gross, re: cataloguing
0212W85 letter and paper from Jean A. Ghandehi, re: "Intelligent Tools and
Human Bondage".
0212W85 proposal. "Expert System Methodologies for Inference and
Explanation Using Temporal and Imprecise Knowledge, PI A.B. Baskin
0212W85 memo from Henry Breitrose, re: high definition television
0212W85 memo from John Hennessy, re: ACIS report
0212W85 BASIS-Bay Area Skeptics Information Sheet
0212W85 letter from Basil Djoanos re: Dungeons and Dragons
0212W85 letter from Michael Reinfrank, re: thanks
0212W85 minutes. Academic Council Nov. 29, 1984
0212W85 letter from Peter, re: enclosed thesis
0212W85 memo from Bart Bernstein and Robert McGinn, re: Winter Quarter VTSS
Forum Meetings.
030785 letter from Richard E. Grady re: nonmonotonic papaer
030785 letter from Don Faust, re: circumscription paper
030785 memo from Don Walker, re: site selection and officer
election for IJCAI-87: results
030785 letter from Juan F. arratia, re: job
030885 letter from Takayasu Ito re Japan Prize
030885 letter re refusenik
030885 list re nonmonotonic conference attendees
030885 paper. re Monadic. Behmann, Heinrich in Gottingen
"Beitrage zur Algebra der Logik, insbesondere zum Entscheidungsproblem".
030885 review by WJ Clancey of J.F. Sowa "Conceptual Structures--Information
processing in mind and machine".
030885 p. 54 of Companion to Concrete Mathematics by Z.A. Melzak. re: Oliver.
030885 Programming Contest Problems
030885 letter from Saad Marrakchi re: post graduate studies
030885 paper. Daniel P. Friedman and Christopher T. Haynes "Constraining
Control", CS Department, Indiana University.
030885 letter from enri de Feraudy, Centre Mondial re: putting common
sense into AI programs
030885 letter from Cliff Jones re: Vienna trip.
030885 paper. Joachim von zur Gathen, Parallel Algorithms for Algebraic
Problems, CS Department, SIAM J. Comput., Vol. 13, No. 4, Nov. 1984.
030885 Report. Perrault, Raymond, C., On the mathematical properties
of Linguistic Theories, CSLI, Stanford, Report No. CSLI-84-18,
December 1984.
030885 Invitation to nominators for the first Inamori prize
030885 minutes. IFIP working group 2.2 meeting at Endicott House
(M.I.T.), June 11-15, 1984